Introduction to the dark arts of floating point numbers